Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملISO 26262 Conformant Verification Plan
This contribution highlights the challenges of implementing ISO 26262 to an industrial E/E verification and testing environment. A methodology to obtain a verification plan and an adequate test strategy in order to meet ISO 26262 requirements is presented and evaluated in an in-house project.
متن کاملTracking Design Changes with Formal Verification
Designs are often modiied for use in new circumstances. If formal proof is to be an acceptable veriication methodology for industry , it must be capable of tracking design changes quickly. We describe our experiences formally verifying an implementation of an ATM network component, and on our subsequent veriication of modiied designs. Three of the designs veriied are in use in a working network...
متن کاملPractical Formal Verification in Microprocessor Design
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyrig...
متن کاملGetting Formal Verification into Design Flow
The ultimate goal of formal methods is to provide assurances about the quality, performance, security, etc. of systems. While formal tools have advanced greatly over the past two decades, widespread proliferation has not yet occurred, and the full impact of formal methods is still to be realized. This paper presents some ideas on how to catalyze the growth of formal techniques in day-to-day eng...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2017
ISSN: 2169-3536
DOI: 10.1109/access.2017.2683508